E8 theory